![]() | EXPRESIONES RECURSIVAS |
(x =: (a b c x↓)) // rep. (a b c a b c a b c ...)
x\4 // ev. a
x\5 // ev. b
x\6 // ev. c
x\7 // ev. a
n:
〈( fac(n) = (1 ← n=0 →' n*fac(n−1) )〉
fac(4) // ev. 24
n primeros componentes de una secuencia x:
〈( suma(x n) = (0 ← n=0 →' (suma(x n−1) + x\n) )〉
(x° = ( 1…100 ))
suma(x 100) // ev. 5050
suma(x 50) // ev. 2525
|
| Torres de Hanoi Posiciones inicial y final |
n discos (de tamaños 1 a n) insertados, de mayor a menor en un eje A. Se trata de mover los n discos desde el eje A hasta el eje C, usando el eje intermedio B como trabajo, de tal forma que un disco no puede colocarse sobre otro de menor tamaño.
n−1 discos superiores desde A hasta B, usando el eje de trabajo C.
n desde A a C.
n−1 discos superiores desde B hasta C, usando el eje de trabajo A.
i desde el eje x al eje y como (i x y).
n discos desde el eje x al eje z usando el eje de trabajo y
〈( hanoi(n x y z) = ((1 x z) ← n=1 →’ ( hanoi(n−1 x z y) (n x z) hanoi(n−1 y x z) ) )〉
hanoi(1 A B C) // ev. ( (1 A C) )
hanoi(2 A B C) // ev. ( (1 A B) (2 A C) (1 B C) )
hanoi(3 A B C) // ev. ( (1 A C) (2 A B) (1 C B) (3 A C) (1 B A) (2 B C) (1 A C) )
〈( fibo(x y) =: (x y f(x y)) )〉/〈( f(u v) = (u+v (f(v u+v))↓ )〉
fibo(1 1) // rep. (1 1 2 3 5 8 13 ...)
fibo(−5 8) // rep. (−5 8 3 11 14 25 ...)
fibo(a b) // rep. (a b a+b a+2*b a+3*b a+4*b ...)
π:
|
| Fórmula de John Wallis |
( π =: 2*f(2)/〈( f(n) = (n*n).÷((n−1)*(n+1))*f(n+2) )〉 )
|
| Fórmula de Gregory-Leibniz |
( π =: 4*f(1 +1)/〈( f(n s) = (1÷n + 1÷f(n+2 −s)) )〉 )
|
| Fórmula de Viète |
( π =: 2.÷f(k)/〈( f(n) = (0 ← n=0 →' f(n−1)*(1÷2 + f(n−1))Ú2 ) )〉 )
e:
|
| Fórmula de Euler |
( e =: s(1)/〈( s(n) = 1÷(1*…*n) + s(n+1) )〉 )
|
| Fórmula de Ramanujan |
( e =: (1+f(1))/〈( f(n) = n + (n+1).÷f(n+1)) )〉 )
|
( ln(2) = f(1)/〈( f(n) = 1.÷(n+1) + f(n+2) )〉 )
(x =: (a y↓))
(y =: (b x↓)
x // rep. (a b a b ...)
y // rep. (b a b a ...)